#include "ipi.h"
#include "sbi.h"
#include "timer.h"
#include "tinyprintf.h"

void send_ipi(struct hart_mask *mask) {
  uint64 curr = get_cycle();
  tfp_printf("send ipi in %ld cycle\n", curr);
  // SBI_ECALL_2(SBI_SEND_IPI, mask->mask, mask->offset);
  sbi_extcall(sPI, 0, mask->mask, mask->mask_base_addr, 0);
}
